61. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
193
62. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
Author: / Edited by Edmund Clarke, Dexter Kozen
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
Classification :
QA76
.
6
.
L5855
1985
63. Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
Author: R. Studer ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
459
64. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
65. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
66. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems
Classification :
QA
76
.
87
.
I3434a
67. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
M35
S94
2004
68. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000
69. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
Classification :
Q
334
.
S632
1990
70. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
Author: A. Fuhrmann, M. Morreau )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
465
71. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
L5663
1991
